Autori: Popovic Miroslav V
Naslov | A formal software verification concept based on automated theorem proving and reverse engineering (Proceedings Paper) |
Autori | Popovic Miroslav V Kovacevic Vladimir Velikic Ivan S |
Info | NINTH ANNUAL IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, (2002), vol. br. , str. 59-66 |
Ispravka | Web of Science Citati: Web of Science |
|
Naslov | A C compiler design concept used for MAS family of Digital Signal Processors (Proceedings Paper) |
Autori | Popovic Miroslav V Jovanovic Z Pap Istvan I Medic V Culibrk Dubravko R |
Info | TELSIKS 2001, VOL 1 & 2, PROCEEDINGS, (2001), vol. br. , str. 607-610 |
Ispravka | Web of Science Citati: Web of Science Scopus |
|
Naslov | An approach to Internet-Based virtual call center implementation (Article) |
Autori | Popovic Miroslav V Kovacevic Vladimir |
Info | NETWORKING - ICN 2001, PT I, PROCEEDINGS, (2001), vol. 2093 br. , str. 75-84 |
Ispravka | Web of Science Citati: Web of Science |
|
Naslov | Case study: a maintenance practice used with real-time telecommunications software (Article) |
Autori | Popovic Miroslav V Atlagic Branislav Kovacevic Vladimir |
Info | JOURNAL OF SOFTWARE MAINTENANCE AND EVOLUTION-RESEARCH AND PRACTICE, (2001), vol. 13 br. 2, str. 97-126 |
Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|